targeted mutation 7.1, Antonio Baldini http://identifiers.org/mgd/MGI:5140345 MGI:5140345 Tbx1<tm7.1Bld> Tbx1<deltaFox>